3rd generation floating point library for 0x10c DCPU