2.13.9:

* KeyFile: Added Added get_double(), set_double(), get_double_list() 
  and set_double_list().
  (Murray Cumming)