File XLOG 2.4 math

1 Predicate msb/ -2