tmp-format: map values to interval [0,1] in TMP format