Fix failure to check result of bn_rshift_fixed_top