TeX source:
g( g(3.5) ) = 3