fix doc half-integer values exist not treated here