51 floating point library