Thanks to all for the quick responses! I was misled by the documentation for bigint, which begins:

All operators (including basic math operations) are overloaded.

Chalk this one up to experience! (But I have to say: Apart from this glitch, I’m finding bigint to be brilliant at what it does.)

Cheers,