extensions/double_extensions library

Extensions

DoubleExtensions on double