Original paper uses hi >= 0, but ref10 implementation only has bounds for |hi|.