times2fxp

times2fxp