Merge pull request #3 from marcoms/value_int

merged value_int with master (fixes #2)