Use 'Mod for cast from signed to unsigned in Ada