let integer_of_real = unop integer_of_real