Some methods for encoding/decoding boost values