colon munging in int() now done with private/colons.m