Actually I guess that would break our previous API.. maybe it's better to keep it as `Double`.