float/3 source