Debug infos with var()=%d are for length and can be decimal.