The reader literal for fixed-point values, DIGITS[.DIGITS]qK: once this module is loaded, 0.75q16 reads as the integer 49152, the number times 2^16, rounded to the nearest and held to 32 bits signed. A form is read whole before it runs, so the import stands in a form before the first literal.