to_int() now returns Option<int>