alter table users rename column weight to weight_old;
alter table users add column weight real not null default 10.0;
update users set weight = weight_old;
alter table users drop column weight_old;