(History and Acknowledgements): Turn comment about integer size into