Handle "undef" constants
Handle "urem" and "srem" instructions
Handle floating point arithmetic BinaryOperators