3rd generation of floating point libs for 0x10c DCPU