# This should fail i : integer; typeset i is float; -- not allowed