Re: [PD] float and symbol as abstraction arguments