getModelValue implementation in bitvectors