Prior to this fix the code was using the mp_float_t data type for uint16 and producing incorrect sort results. Signed-off-by: Damien George <damien@micropython.org> Signed-off-by: Damien George <damien@micropython.org>