change float to double

Fork of PID by Aaron Berk

shortlog/shortlog@ca4077d72c94: not found in manifest