revive #to_int