math-int: add a missing #include
math-fp: fix intruction counts for 256bit abs() and sign()
extract: add several static asserts
extract: add extract_bits()