manual/getting_started: fix minor errors found during tutorial
coredevice/dds: round FTW instead of flooring