floating-point package