fixes #43, only use float128 if available