hack type_check to always return double