The definition of the Charm grammar in Backus-Naur form along with descriptive examples of Charm constructs is defined on the Charm language page [REF].
Charm is a strongly typed language, but does allow some implicit conversions between numeric and floating point types.