require T to be integral
html