Tokenizer: Simplify float casts of integer constants