extensions/double_extension library

Extensions

DoubleExtension on double