let integer_of_real = "truncate_real_to_int"