change float to double

Fork of PID by Aaron Berk

shortlog@ca4077d72c94: not found in manifest