proc f()
var
  x: Double
begin
  x := 5.0 % 2.0 (* @Error Invalid operands of type 'Double' and 'Double' for operator % *)
return

end.