If you pay for something that cost 10.63 with a $20 bill and the young woman at the register hits the wrong button to make change, then calls her female manager over to help, and the manager starts looking around for a calculator, is it mansplaining to say, “9.37”?