fast_random(): Truthfully return uint16_t instead of unsigned long