In reply to a tweet by @vogon:
@vogon A nickel makes it 18. Shift right is 1.8, multiply by two gets 3.6, round up to 4. Tip is $4.05, total $22.00.