Binary arithmetic PSD