# bug #4619
const x: float = 0