let
integer_of_real =
"truncate_real_to_int"