Institute of Actuaries (Great Britain ). Library