Sub-single-instruction Peano to machine integer conversion | Heykuki News