Now, floats and decimals are marked as unambiguously formatted datatypes and take care of disambiguating themselves with a type annotation if necessary, as well as further-disambiguating parentheses ...