Switched to float timestamps regarding #18.