How do we know that the truncated integer is what should be used when imin or imax is a half integer?