Yes, {$Q+} has an effect, but not the one you expect. The directive tells FPC to terminate program with error 215 in case of an arithmetic overflow in the CPU
"terminate program with error 215"
Overflow can also happen at compile time.
Try
This exceeds the 65 bit. So it gives overflow.
But otherwise you are right
Overflow: happens in the math operation (here: addition)
Range Check: happens in the assignment