improve handling of float arguments in handle_int
clarify error messages when get_symbolic fails