master as of 3-Sep-2014
master as of 4-Sep-2014
integration rules
ostrowski's thm