<div dir="ltr"><br><div class="gmail_quote">On Tue, Oct 14, 2008 at 9:39 AM, Sander van Zoest <span dir="ltr"><<a href="mailto:sander@vanzoest.com">sander@vanzoest.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div dir="ltr"><br>Hi,<br><br>I just recently started looking at HTML5 and noticed the video tag. Neat addition.<br>I also noticed that it as an attribute named 'pixelratio', however, as you know this<br>is never an integer, but rather is the result of a fraction (i.e. ratio). As for proper<br>

playback of video frames, it is important to understand exact float and therefore<br>I would suggest either expressing it as a ratio of two 32-bit integers separated by a colon (or slash) or use two<br>different attributes. This avoids unintentional rounding.<br>

<br>Something roughly along the lines of:<br><br><video pixelratio="10:11"> <!-- 525 composite NTSC --><br><video pixelratio="59:54"> <!-- 625 composite PAL --><br><video pixelratio="1018:1062"> <!-- 1920x1035 HDTV SMPTE RP 187-1995 --><br>

<br><video parhSpacing="10" parvSpacing=11"><br><br>Container formats tend to store this information in a ratio like this and not in a float.</div></blockquote><div><br>Please excuse me for referencing the video tag as, after further reading, it is apparent that the pixelratio attribute is applied to the source tag. Regardless, I believe the same points apply, so therefore please mentally /video/source/ . Thank you and sorry for the confusion and stress I may caused.<br>
<br>-- Sander<br></div></div><br>
</div>