extended to and is support

isconvertible, toexact and tounchecked have
been added to the public interface.