In www/doc/sql/registry.sql, in table stolen_registry the column
"value" is of type "money" which is deprecated in 7.1. Ola Hanson
suggested in his patch that we change that to "integer".
The danger of putting it as as int is that if someone enters a value
with decimal places, then (unless we are checking for it in the insert
page) the insertion page will fail.
Putting it as "numeric" seems to be more appropriate, though it puts 7
decimal places there and it takes more space. Anyone wants to comment
before I make change in the patch to "numeric"?
