Comment fix

Remove word "integer" from leading comment -- this was vestigal from the days when device settings were integers, rather than reals on the interval [0-1].

Signed-off-by: David Brainard <brainard@psych.upenn.edu>