Added get_key_file_double(). Use this in places where needed rather than