Changed floating-point operations to have a single successor.