var
  folded: Int := cast(2.9: Int)
  measure: Double := -2.9

program()
begin
  assert(folded = 2);
  assert(cast(measure: Int) = -2);
  assert(cast(folded: Double) = 2.0)
return 0u8

end.