get numbers test passing with checked integer conversions and type-stable arithmetic