implementing value_of for fvar