Obsolete, now contained in int.* and float.*