Added library for getting/setting/modifiying numeric redis values