factory $PyDoubleCopyWith(PyDouble value, $Res Function(PyDouble) then) = _$PyDoubleCopyWithImpl<$Res>;