यदि [x] को x के बराबर या x से कम सबसे बड़ा पूर्णांक देने वाला संकेत है, तो $$\int_{ - \pi /2}^{\pi /2} {[[x] - \sin x]dx} $$ का मान क्या है?