Add Int.ceil_log2 and test Int.ceil and Int.floor_log2.