Sub-single-instruction Peano to machine integer conversionocamlpro.com5 pointstodsacerdoti3 years ago