F# PIDController