[PD] float and symbol as abstraction arguments