A deprecated type conversion