to fast positive_fixint