Use X87 instrinsics for lb (log base 2) if available
Added contracts to ln and lg
Updated ln and lg to be based on lb