A Compact Arithmetic