to_int also should be called with this>