require64;
require_fp;
FRA.bits = RB;