rewrite int/fp moves specification text to use style requested by luke