sdiv overflow is outright undefined behavior, with or without the