Don't do this without checking in with him - it's a simple change, but requires dumping our existing data to remake that field with the new field type.
If we do it,
[ ] Delete existing records
[ ] Delete total_time column
[ ] re-add total_time as a float
[ ] Update "Update total time" business script (and the sister script in timestamps, if it's implemented)
Don't do this without checking in with him - it's a simple change, but requires dumping our existing data to remake that field with the new field type.
If we do it,