Wang, Sheng (ji suan ji)