Get timer as a floating-point type instead of an integer#527

bakpaul merged 1 commit intosofa-framework:mastersofa-framework/SofaPython3:masterfrom

alxbilger:timerfloatingpointalxbilger/SofaPython3:timerfloatingpointCopy head branch name to clipboard