Added to_int/2