change float to double

Fork of PID by Aaron Berk

Tags

2016-11-23 tip Revision History Files