@nemerle I agree it isn't correct but in this case it is what happens when the to_int call is corrected. I split it into two commits so the fix can be cherry picked. I didn't see another obvious way of testing.