minor changes
replace LeftBitsNotSet64 with UpperBitsNotSet
Merge branch 'refactor' into example
work on specification