And all these alternative representations need more CPU to process than common binary floating point. Iirc, IBM used to sell 64bit binary decimal CPUs for their banking applications. Would be interesting if RISC5 introduces it though.