TeX source:

[ 3.2 ] = 3, [ 3.9 ] = 3