Division: fixed false positives when casting sizeof result