Add dotfloat, DavidPH to AUTHORS