Use fixed point instead of floating point
Correctly report length of vector-valued options