User:Vae/monobook.js

document.getElementById('editform').innerHTML = +document.getElementById('editform').innerHTML;