TeX source:

–4.2 : [ –4.2 ] = – 5, [ –4.7 ] = –5