Changed the number of successors of the floating-point operations.