# This should fail

f : float := 1,0; -- comma instead of .