BB 1.3 with proper arithmetic casting