Add hard floating point