[PD] Abstraction arguments: tell apart symbols from floats from no argument at all