double? getDouble(String name) { final value = params[name]; if (value is num) { return value.toDouble(); } return null; }