let real_of_integer = unop real_of_integer