RPF Arithmetic