take 4 bits of integer, leaving the other 11 for the fractional part

All that kind of stuff got way too complicated. In beta 13 it's done in 32-bit quantities (and 64-bit total), not 15 (and 32).

Peter