require64; RC = RA / RB;