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

begin
  assert(folded = 2);
  assert(cast(measure: Int) = -2);
  assert(cast(folded: Double) = 2.0)
end.