0025491: BRepOffsetAPI_MakeOffset algorithm crashes on customer's shape and big value...