# This should fail

f : float := 1.; -- no decimal part