Added the ChorizoDouble extensions