checked_dtypes should perhaps include one complex-valued type, too