Add double number widget (Fix #46)