still a bug due to precision of js int