Call a macro like "FILTER_BFP_OF_REAL" from ppz algebra int ?