Add floating-point to and from integer conversion