Added type rules and constraints for float operations.