The overflow when converting from float to integer is undefined behaviorblog.frama-c.com1 point·pdq··0 commentsOpen articleSaveView on HN