Type rules for strings and int coercion to reals.