DoubleExt extension

on

• double