int literal type writes as double