Revert "double"

This reverts commit bf8322e8c4893ae7502263444cde060d384f83c0.